Planning in the logics of communication and change
نویسندگان
چکیده
We adapt backward planning to Logics of Communication and Change (LCC), that model how do actions, announcements and sensing change facts and agents’ beliefs. An LCC planner takes into account the epistemic effects of planned actions upon other agents, if their beliefs are relevant to her goals. Our results include: a characterization of frame axioms as theorems in ∗-free LCC, and soundness and completeness results for deterministic planning and strong planning in the non-deterministic case.
منابع مشابه
Design of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملBackward Planning in the Logics of Communication and Change
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cogniti...
متن کاملStrong Planning in the Logics of Communication and Change
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cogniti...
متن کاملFutures studies of hospital resilience supply chain with the intuitive logics scenario planning
Background: Scenario planning is one of the most crucial future study methods in uncertain and complex situations. Hospital supply chain resilience also requires an understanding of future events due to the complexity of relationships and exposure to unexpected circumstances. The purpose of this study is to formulate scenarios for the future development of hospital supply chain resilience. Mat...
متن کاملStrong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change LCC. These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012